1. An introduction to formal specification and Z
پدیدآورنده : Ben Potter, Jane Sinclair, David Till
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Computer software - Geotools,Z )Computer program language(
رده :
QA
76
.
76
.
D47
2. Design patterns :elements of reusable object-oriented software
پدیدآورنده : Erich Gamma ... ]et al.[
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Object-oriented programming )Computer science(,Computer software - Geotools,Software patterns
رده :
QA
76
.
64
.
D47
1995
3. Geotools MT User's Guide
پدیدآورنده :
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Computer software - Geotools,Magnetotelluric - Computer software
رده :
QA
76
.
6
.
G4
4. Proceedings of the 1994 international conference on parallel processing August 15-19, 1994
پدیدآورنده : K.C. Tai
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Parallel processing)electronic computers(,Computer architecture,Computer software - Geotools,Electronic data processing,Computer networks
رده :
QA
76
.
6
.
I5
1994
5. Software inspection
پدیدآورنده : Tom Gilb, Dorothy Graham ; edited by Susannah Finzi
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Computer software - Geotools
رده :
QA
76
.
76
.
Q35
.
G48
1993
6. Software project management
پدیدآورنده : Bob Hughes and Mike Cotterell
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Computer software - Geotools
رده :
QA
76
.
76
.
H8
.
S64
